|
In differential algebra, Picard–Vessiot theory is the study of the differential field extension generated by the solutions of a linear differential equation, using the differential Galois group of the field extension. A major goal is to describe when the differential equation can be solved by quadratures in terms of properties of the differential Galois group. The theory was initiated by Émile Picard and Ernest Vessiot from about 1883 to 1904. and give detailed accounts of Picard–Vessiot theory. ==History== The history of Picard–Vessiot theory is discussed by . Picard–Vessiot theory was developed by Picard between 1883 and 1898 and by Vessiot from 1892–1904 (summarized in and ). The main result of their theory says very roughly that a linear differential equation can be solved by quadratures if and only if its differential Galois group is connected and solvable. Unfortunately it is hard to tell exactly what they proved as the concept of being "solvable by quadratures" is not defined precisely or used consistently in their papers. gave precise definitions of the necessary concepts and proved a rigorous version of this theorem. extended Picard–Vessiot theory to partial differential fields (with several commuting derivations). described an algorithm for deciding whether second order homogeneous linear equations can be solved by quadratures, known as Kovacic's algorithm. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Picard–Vessiot theory」の詳細全文を読む スポンサード リンク
|